all:
	llvm-gcc -I/home/xyj/research/klee/klee/include -g --emit-llvm -c bench_test.c
	llvm-ld *.o -o test
clean:
	rm -rf *.o klee-* *.bc test test.bc
